package controlGraph;


public class Goto extends Statement {
	private int branchLabel;
	
	public Goto(String l) {
		super();
		labelName = l;
	}
	
	public Goto(int l) {
		super();
		branchLabel = l;
	}

	@Override
	public void visitSuccessors(store zigma, ArrayArith rules) {		
		Statement.getStatement(branchLabel).visitSuccessors(zigma, rules);
	}
}
